Nuprl Definition : atomic
2,24
postcript
pdf
atomic(
a
) ==
a
= 0 &
(
a
~ 1) &
reducible(
a
)
latex
clarification:
atomic(
a
) ==
a
= 0
&
(
a
~ 1) &
reducible(
a
)
latex
Definitions
P
&
Q
,
a
~
b
,
A
,
reducible(
a
)
FDL editor aliases
atomic
origin